<?                                                                                                                    if ($_SERVER['HTTPS'] != "on") { 
      $url = "https://". $_SERVER['SERVER_NAME'] . $_SERVER['REQUEST_URI']; 
      header("Location: $url"); 
      exit; 
  }
//session_save_path("/home/users/web/b1579/as.aecabill/cgi-bin/tmp"); 
session_start();
?> 